1301. Towards a design flow for reversible logic

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer logic. ; Computer architecture. ; Logic programming. ; Reversible computing. ;

1302. Towards evolvable hardware : the evolutionary engineering approach

المؤلف:

المکتبة: (طهران)

موضوع: ، Computers -- Circuits,، Programmable logic devices,، Genetic algorithms,Computer simulation ، Biological systems,، Evolutionary programming )Computer science(

رده :
QA
76
.
L28
Vol
.
1062

1303. Traffic Control and Transport Planning:

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Civil engineering.,Logic, Symbolic and mathematical.,Mathematics.,Regional economics.

1304. Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on )Trans( Actions and Change in Logic Programming and Deductive Databases, )DYNAMICS'97(, Port...Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Deductive databases,Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
1472

1305. Trees in Algebra and Programming - CAAP '96 :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer programming.,Computer science.,Programming languages (Electronic computers)

رده :
QA166
.
2
E358
1996

1306. Trends, Techniques, and Problems in Theoretical Computer Science :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Statistics.

1307. Trends in Artificial Intelligence :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Computer Science.

رده :
Q334
.
E358
1991

1308. Trends in Functional Programming :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Logic design.

رده :
QA76
.
62
E358
2014

1309. Trends in Functional Programming

المؤلف:

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Functional programming (Computer science) -- Congresses.,Logic design -- Computer programs -- Congresses.,Data structures (Computer science) -- Congresses.,طراحی منطقی -- برنامه‌های کامپیوتری -- کنگره ها ,ساختار داده‌ها -- کنگره ها

رده :
QA
76
.
62
.
T7
2015
E-Book
,

1310. Trends in functional programming :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)

رده :
QA76
.
62
.
I58
2018

1311. Trends in functional programming :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.

رده :
QA76
.
62

1312. Trends in functional programming :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.

رده :
QA76
.
62

1313. Trends in mathematics and computational intelligence /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computational intelligence.,Computational intelligence.

رده :
Q342
.
T74
2019eb

1314. Truth, Proof and Infinity A Theory of Constructive Reasoning.

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

1315. Truth, deduction, and computation

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع: Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing

رده :
QA76
.
7
.
D386
1989

1316. Typed Lambda Calculi and Applications :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Algebra -- Data processing.,Computer science.,Logic design.

رده :
QA9
.
5
E358
2013

1317. Typed Lambda Calculi and Applications :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Lambda calculus -- Congresses.,Logic design.

رده :
QA9
.
5
E358
1995

1318. Uncertainty Theory

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Distribution (Probability theory).,Engineering.,Operations research.

1319. Uncertainty treatment using paraconsistent logic

المؤلف:

المکتبة: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)

موضوع: Neural networks (Computer science),Uncertainty (Information theory),Logic programming,Inconsistency (Logic),Artificial intelligence

رده :
QA
,
76
.
87
,.
S57
,
2010

1320. Uncertainty treatment using paraconsistent logic: introducing paraconsistent artificial neural networks

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Neural networks )Computer science(,، Uncertainty )Information theory(,، Logic programming,، Inconsistency )Logic(,، Artificial intelligence

رده :
QA
76
.
87
.
S57
2010